home *** CD-ROM | disk | FTP | other *** search
- ;
- ; Copyright 1992 by Jutta Degener and Carsten Bormann, Technische
- ; Universitaet Berlin. See the accompanying file "COPYRIGHT" for
- ; details. THERE IS ABSOLUTELY NO WARRANTY FOR THIS SOFTWARE.
- ;
- ;
- ; Lines starting with ' (in the first col) are echoed.
- ; Lines starting with " (in the first col) are echoed to stderr.
- ; Lines starting with ; or empty lines are ignored.
- ;
- ; The part after (including) a trailing '=' is what you expect;
- ; there will be output if the result is different.
- ;
- ; - and + by itself mean MIN_WORD and MAX_WORD, respecitvely;
- ; -- and ++ mean MIN_LONGWORLD and MAX_LONGWORD.
- ;
-
- 'test the basic arithmetic operations used for the rpe-ltd filtering.
- '
- 'add ================
- ' basic
-
- add 0 0 = 0
- add 7 4 = 11
- add 4 6 = 10
- add 1 1 = 2
-
- ' negative operands
-
- add -7 4 = -3
- add 4 -6 = -2
- add -1 -3 = -4
- add 7 -4 = 3
- add -4 6 = 2
-
- ' positive overflow
- ; (max-word = 32767)
- add + 1 = +
- add + + = +
- add -1 + = 32766
- add 32766 2 = +
- add 1 32766 = +
-
- ' underflow
- ; (min-word = 32768)
-
- add - -1 = -
- add - - = -
- add 1 - = -32767
- add -32767 -2 = -
- add -1 -32766 = -32767
- add -32767 -1 = -
- add - + = -1
- add + - = -1
- add 0 - = -
- add 0 + = +
- '
-
- 'L_add ================
- ' basic
-
- L_add 0 0 = 0
- L_add 7 4 = 11
- L_add 4 6 = 10
- L_add 1 1 = 2
-
- ' negative operands
-
- L_add -7 4 = -3
- L_add 4 -6 = -2
- L_add -1 -3 = -4
- L_add 7 -4 = 3
- L_add -4 6 = 2
- L_add 0 -1 = -1
-
- ' positive overflow
- ; (max-longword = 2147483647)
- L_add ++ 1 = ++
- L_add ++ ++ = ++
- L_add -1 ++ = 2147483646
- L_add 2147483646 2 = ++
- L_add 1 2147483645 = 2147483646
-
- ' underflow
- ; (min-longword = -2147483648)
-
- L_add -- -1 = --
- L_add -- -- = --
- L_add 1 -- = -2147483647
- L_add -2147483647 -2 = --
- L_add -1 -2147483646 = -2147483647
- L_add -2147483647 -1 = --
- L_add -- ++ = -1
- L_add ++ -- = -1
- L_add 0 -- = --
- L_add 0 ++ = ++
- '
-
- 'sub ================
- ' basic
-
- sub 0 0 = 0
- sub 7 4 = 3
- sub 4 6 = -2
- sub 1 0 = 1
-
- ' negative operands
-
- sub -7 4 = -11
- sub 4 -6 = 10
- sub -1 -3 = 2
- sub 7 -4 = 11
- sub -4 6 = -10
-
- ' positive overflow
- ; (max-word = 32767)
- sub 1 - = +
- sub + + = 0
- sub + 0 = +
- sub + -1 = +
- sub + 1 = 32766
- sub 1 + = -32766
- sub 0 + = -32767
-
- ' underflow
- ; (min-word = 32768)
-
- sub - -1 = -32767
- sub - 1 = -
- sub - - = 0
- sub - + = -
- sub + - = +
- sub 1 - = +
- sub -1 - = +
- sub -32767 2 = -
- sub 0 - = +
- '
-
- 'L_sub ================
- ' basic
-
- L_sub 0 0 = 0
- L_sub 7 4 = 3
- L_sub 4 6 = -2
- L_sub 1 0 = 1
-
- ' negative operands
-
- L_sub -7 4 = -11
- L_sub 4 -6 = 10
- L_sub -1 -3 = 2
- L_sub 7 -4 = 11
- L_sub -4 6 = -10
-
- ' positive overflow
- L_sub 1 -- = ++
- L_sub ++ ++ = 0
- L_sub ++ 0 = ++
- L_sub ++ -1 = ++
- L_sub ++ 1 = 2147483646
- L_sub 1 ++ = -2147483646
- L_sub 0 ++ = -2147483647
-
- ' underflow
-
- L_sub -- -1 = -2147483647
- L_sub -- 1 = --
- L_sub -- -- = 0
- L_sub -- ++ = --
- L_sub + -- = ++
- L_sub 1 -- = ++
- L_sub -1 -- = ++
- L_sub -2147483647 2 = --
- L_sub 0 -- = ++
-
- '
- 'abs ================
- ' basic
-
- abs 0 = 0
- abs 2 = 2
- abs -459 = 459
-
- ' overflow
-
- abs + = +
- abs - = +
- abs -32767 = +
- abs 32766 = 32766
- abs -32766 = 32766
-
- '
- 'mult ================
- ; actually, a * b >> 15
-
- ' basic
- mult 0 0 = 0
- mult 0x100 0x100 = 2
- mult 4711 0x4000 = 2355
-
- ' negative operands
- mult -1 0 = 0
-
- mult -0x100 0x100 = -2
- mult 0x100 -0x100 = -2
- mult -0x100 -0x100 = 2
-
- mult -4711 0x4000 = -2356
- mult 4711 -0x4000 = -2356
- mult -4711 -0x4000 = 2355
-
- ' overflow
- mult + + = 32766
- mult + 0x4000 = 0x3fff
- mult 0x4000 + = 0x3fff
- mult + 1 = 0
- mult + 2 = 1
- mult + 3 = 2
-
- ' underflow
- mult - - = +
- mult - + = -32767
- mult + - = -32767
- mult - 1 = -1
- mult - 2 = -2
- mult - 3 = -3
-
- '
- 'mult_r ================
- ; actually, (a * b + 16384) >> 15
-
- ' basic
- mult_r 0 0 = 0
- mult_r 0x100 0x100 = 2
- mult_r 4711 0x4000 = 2356
-
- ' negative operands
- mult_r -1 0 = 0
-
- mult_r -0x100 0x100 = -2
- mult_r 0x100 -0x100 = -2
- mult_r -0x100 -0x100 = 2
-
- mult_r -4711 0x4000 = -2355
- mult_r 4711 -0x4000 = -2355
- mult_r -4711 -0x4000 = 2356
-
- ' overflow
- mult_r + + = 32766
- mult_r + 32766 = 32765
- mult_r 32766 + = 32765
- mult_r + 0x4000 = 0x4000
- mult_r 0x4000 + = 0x4000
- mult_r + 0x4001 = 0x4000
- mult_r 0x4001 + = 0x4000
- mult_r + 2 = 2
- mult_r + 1 = 1
- mult_r 1 + = 1
- mult_r + 0 = 0
- mult_r 0 + = 0
-
- ' underflow
- mult_r - - = +
- mult_r - + = -32767
- mult_r + - = -32767
- mult_r - 1 = -1
- mult_r - 2 = -2
- mult_r - 3 = -3
-
- '
- 'L_mult ================
- ; actually, (a * b) << 1
- ; assert (a != MIN_WORD && b != MIN_WORD)
-
- ' basic
- L_mult 0 0 = 0
- L_mult 2 3 = 12
- L_mult 4711 5 = 47110
-
- ' negative operands
-
- L_mult -2 3 = -12
- L_mult 2 -3 = -12
- L_mult -2 -3 = 12
- L_mult -4711 5 = -47110
- L_mult 4711 -5 = -47110
- L_mult -4711 -5 = 47110
-
- ' overflow
- L_mult + + = 2147352578
- L_mult + -32767 = -2147352578
- L_mult -32767 + = -2147352578
- L_mult + 2 = 131068
- L_mult + 1 = 65534
- L_mult 1 + = 65534
- L_mult + 0 = 0
- L_mult 0 + = 0
-
- '
- 'div ================
- ; actually, (32767 * a) / b
- ; assert (a > 0 && b >= a)
-
- ' basic
- div 1 1 = +
- div 4711 4711 = +
- div 5 10 = 0x4000
- div 5 20 = 0x2000
- div 5 40 = 0x1000
-
- ' overflow
- div + + = +
- div 0x4000 + = 0x4000
- div 1 + = 1
- div 1 2 = 0x4000
- '
- 'norm ================
-
- ' positive
- norm 1 = 30
- norm 2 = 29
- norm 3 = 29
- norm 4 = 28
- norm 5 = 28
- ; etc, etc...
- norm 0x08000000 = 3
- norm 0x10000000 = 2
- norm 0x20000000 = 1
- norm 0x20000001 = 1
- norm 0x3fffffff = 1
- norm 0x40000000 = 0
- norm 0x40000001 = 0
- norm 0x4ffffffe = 0
- norm ++ = 0
-
- ' negative
- norm -1 = 31
- norm -2 = 30
- norm -3 = 29
- norm -4 = 29
- norm -5 = 28
- ; etc, etc...
- norm 0x4fffffff = 0
- norm -- = 0
- '
- '>> ================
-
- ' basic
- >> 1 1 = 0
- >> 4 2 = 1
- >> 0x1100 5 = 0x88
-
- ' negative operand
-
- >> 1 -1 = 2
- >> 1 -2 = 4
- >> 0x88 -5 = 0x1100
-
- ' overflow
- >> -1 4711 = -1
- >> 1 4711 = 0
- >> -4711 4711 = -1
- >> 4711 4711 = 0
- >> + 1 = 16383
- >> - 1 = -16384
- '
- 'L_>> ================
-
- ' basic
- L_>> 1 1 = 0
- L_>> 4 2 = 1
- L_>> 0x1100 5 = 0x88
-
- ' negative operand
-
- L_>> 1 -1 = 2
- L_>> 1 -2 = 4
- L_>> 0x88 -5 = 0x1100
-
- ' overflow
- L_>> -1 4711 = -1
- L_>> 1 4711 = 0
- L_>> -4711 4711 = -1
- L_>> 4711 4711 = 0
- L_>> ++ 1 = 1073741823
- L_>> -- 1 = -1073741824
-
- '
- '<< ================
-
- ' basic
- << 1 1 = 2
- << 4 2 = 16
- << 0x0088 5 = 0x1100
-
- ' negative operand
-
- << 1 -1 = 0
- << 4 -2 = 1
- << 0x1100 -5 = 0x0088
-
- ' overflow
- << -1 4711 = 0
- << 1 4711 = 0
- << -4711 4711 = 0
- << 4711 4711 = 0
- << 4711 -4711 = 0
- << -4711 -4711 = -1
- << + 1 = 0xfffe
- << -1 1 = 0xfffe
- << - 1 = 0
- '
- 'L_<< ================
-
- ' basic
- L_<< 1 1 = 2
- L_<< 4 2 = 16
- L_<< 0x0088 5 = 0x1100
-
- ' negative operand
-
- L_<< 1 -1 = 0
- L_<< 4 -2 = 1
- L_<< 0x1100 -5 = 0x0088
-
- ' overflow
- L_<< -1 4711 = 0
- L_<< 1 4711 = 0
- L_<< -4711 4711 = 0
- L_<< 4711 4711 = 0
- L_<< 4711 -4711 = 0
- L_<< -4711 -4711 = -1
- L_<< ++ 1 = -2
- L_<< -1 1 = -2
- L_<< -- 1 = 0
-